ZK Hack miniのメモ

Halo 2が前提知識

1.zkpの基本

1.1zkpプロトコルの分類

青:SNARKベースのプロトコル

緑:STARKベースのプロトコル

黒:量子耐性を持つプロトコル

https://scrapbox.io/files/621e4e6b973a14001d8e43dc.png

1.2zkpプロトコルの比較

https://scrapbox.io/files/621f0dec6eb7d2001d85bf2c.png

2.STARKについて

2.1STARKのメリット・デメリット

https://scrapbox.io/files/621e4e8df25ce2001e099e10.pnghttps://scrapbox.io/files/621e4f48269f49002010d6ae.png

Halo 2で考察してた量子耐性の考察は正解(論文読め)

2.3AIRについて

https://scrapbox.io/files/621e4fdc85f744001d3d260a.png

R1CS vs AIR

R1CSはSNARKでの処理

https://scrapbox.io/files/621e4fe95f1608002238a91f.png

3.constraints(制約)の分類

constraintsを最適化できるかによって、wittenssのサイズや検証用スマコンのgasに影響を与える

TransitionとBoundary

https://scrapbox.io/files/621e51a8925e05001ddee097.pnghttps://scrapbox.io/files/621e51b1e7ad1b0021d46700.png

4.Winterfell

https://scrapbox.io/files/621e53eb5f1608002238c30a.png

https://scrapbox.io/files/621e540d72d566001f9b205f.png

https://scrapbox.io/files/621e5467269f49002010fb68.png

https://scrapbox.io/files/621e54f1f25ce2001e09cbdf.png

https://scrapbox.io/files/621e5507973a14001d8e8843.png

Plonky2よりprooving time速いか質問してみたけど「ロジック違うからわからない」らしい

そりゃそうだ

https://scrapbox.io/files/621e5c377360ee001e3b8228.png

VDF

https://scrapbox.io/files/621e5804f25ce2001e09e98e.png

https://scrapbox.io/files/621e5893339cc0001d7d55f0.png

https://scrapbox.io/files/621e58ba269f4900201119be.png